(load-goal '(~ (EXISTS (<x>) (object <x>) (AND (arm-empty

(load-start-state '(
		(object A)
		(on-table A)
		(clear A)
))